『ホモトピー型理論』上村 太一
上村 太一
. ホモトピー型理論. 2023.
https://uemurax.github.io/hott-ja/index.html
Univalence Axiom (UA)
同一視型
Higher Inductive Type (HIT)
n型
ホモトピーn型
宇宙(数学)
確認用
Q.
#Homotopy_Type_Theoryの参考文献
#Homotopy_Type_Theory(HoTT)
#文献